Auto merge of #2483 - srinivasreddy:docs, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 14 Mar 2016 20:13:04 +0000 (13:13 -0700)
committerbors <bors@rust-lang.org>
Mon, 14 Mar 2016 20:13:04 +0000 (13:13 -0700)
commit61b457892ba34799adfa653bad7bc7dad4014e28
treed4e2684967bff9423d620fa29f433091a23932cc
parent276208535d190c8bc4242efe214786504edda9d6
parent42e2ab13d41504046105176f6a296717756cc96b
Auto merge of #2483 - srinivasreddy:docs, r=alexcrichton

corrected statement regarding constraint graph solving problem type